1. A Mathematical Structure for Emergent Computation
پدیدآورنده: by Victor Korotkich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
2. Algorithmic and Symbolic Combinatorics
پدیدآورنده: / Stephen Melczer, Melczer, Stephen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Discrete mathematics, Algorithms,a05
رده :
QA9
3. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
پدیدآورنده: ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms
رده :
QA
1
.
P736
Vol
.
274
4. Algorithmic logic /
پدیدآورنده: G. Mirkowska and A. Salwicki
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms,Formal languages,Logic, Symbolic and mathematical
رده :
QA267
.
3
.
M57
1987
5. Decision procedures
پدیدآورنده: / Daniel Kroening, Ofer Strichman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
رده :
QA
,
279
.
4
,.
K76
,
2008
6. Decision procedures : an algorithmic point of view
پدیدآورنده: Daniel Kroening, Ofer Strichman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
7. Logic and algorithms, with applications to the computer and information sciences
پدیدآورنده : Korfhage, Robert R.
موضوع : ، Logic, Symbolic and mathematical,، Algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Logic and algorithms; with applications to the computer and information sciences
پدیدآورنده: / Robert R. Korfhage
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical,Algorithms
رده :
511
.
3
K84
9. Mathematical logic
پدیدآورنده: / Yu L. Ershove, E. A. Palyutin
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Algorithms
رده :
BC
135
.
M36
1984
10. Mathematical logic :
پدیدآورنده: Roman Kossak
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
11. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
12. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده: edited by S. I. Adjan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
13. Proofs and Algorithms
پدیدآورنده: / Gilles Dowek
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms
رده :
QA
9
.
D68
2011
14. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده: Gilles Dowek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
15. Proofs and algorithm
پدیدآورنده: / Gilles Dowek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Algorithms.
رده :
QA9
,.
D68
,
2011
16. Proofs and algorithms
پدیدآورنده: Gilles Dowek
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Logic, Symbolic and mathematical,Algorithms
رده :
QA
9
.
D66P7
2011
17. Proofs and algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ; Algorithms. ;
18. Proofs and algorithms an introduction to logic and computability
پدیدآورنده: / Gilles Dowek
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Logic, Symbolic and mathematical,Algorithms
رده :
QA76
.
P7D6
2011
19. The P=NP question and Geodel's lost letter
پدیدآورنده: Richard J. Lipton
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
20. The P=NP question and Geodel's lost letter
پدیدآورنده: / Richard J. Lipton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
